Robert Kowalski

Robert Kowalski
Born	(1941-05-15) 15 May 1941 (age 83) Bridgeport, Connecticut, U.S.
Nationality	British
Alma mater	University of Chicago University of Bridgeport (BA) Stanford University (MSc) University of Warsaw University of Edinburgh (PhD)
Known for	Logic programming Prolog Horn clause Event calculus
Awards	IJCAI Award for Research Excellence (2011)
Scientific career
Fields	Logic Computer science
Institutions	University of Edinburgh Imperial College London
Thesis	Studies in the Completeness and Efficiency of Theorem-Proving by Resolution (1970)
Doctoral advisor	Bernard Meltzer
Doctoral students	Keith Clark Francesca Toni David H. D. Warren

Robert Anthony Kowalski (born 15 May 1941) is an American-British logician and computer scientist, whose research is concerned with developing both human-oriented models of computing and computational models of human thinking.^[1] He has spent most of his career in the United Kingdom.